If plugged in to the company network (or connected via VPN), my mobile workstation should automatically configure a proxy.

• https://sourceforge.net/p/proxydriver/code/HEAD/tree/src/v1.62/proxydriver.sh (Archive)
• https://about.gitlab.com/blog/2021/01/27/we-need-to-talk-no-proxy/ (Archive)
• http://marin.jb.free.fr/proxydriver/ (Archive)
• https://unix.stackexchange.com/questions/577379/how-can-i-install-debian-with-full-disk-encryption-and-a-custom-sized-swapfile (Archive)
• https://debianforum.de/forum/viewtopic.php?t=177435 (Archive)